Arrays.hashcode(int[]) gives same hash for different elements